Merge branch 'for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Mon, 3 Jun 2019 00:22:40 +0000 (00:22 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Mon, 3 Jun 2019 00:22:40 +0000 (00:22 +0000)
commit7e9cb07a925f78e3961c70ee0b896738b4d1520b
tree702e12cdcb130f00f75e1beb7dcd98b76abfc6f7
parent3a42aab68081eb4ca594564f546a2fc2fcec328a
parentf9562757ff75231db625c219f8a270a810567652
Merge branch 'for-master' into 'master'

For master

See merge request GNOME/gtk!903